/*
 * Copyright (C) yajin 2008 <yajinzhou@gmail.com >
 *     
 * This file is part of the virtualmips distribution. 
 * See LICENSE file for terms of the license. 
 *
 */

 
#ifndef __MIPS64_FDD_H__
#define __MIPS64_FDD_H__

#include "utils.h"
#include "system.h"


void *mips64_cpu_fdd(cpu_mips_t * cpu);

#endif


